Can we automate diagrammatic reasoning?

Can We Automate Compliance to Collision Avoidance Resolution Advisories?

The Traffic alert and Collision Avoidance System (TCAS) was designed to prevent mid-air collisions by portraying a time-critical “resolution advisory” (RA) to the pilot. Complying with a TCAS RA is generally considered the safest course of action and takes priority over all other forms of air traffic management; however, pilot compliance with TCAS RAs is surprisingly low. One proposed solution ...

Diagrammatic Reasoning Systems

Diagrammatic Reasoning by Simulation

Humans employ diagrams and other pictures, both real and imagined, as aids to reasoning, and many kinds of problems are solved by an interaction between perception-like processing and verbal reasoning. My research is exploring computational explanations of this interaction. The use of diagrams is in part a form of spatial reasoning, which is the use of representations of objects in space for pr...

Diagrammatic Reasoning for

potential fields (APFs). The rest of the article is organized as follows. We begin with a synthetic introduction to diagrammatic knowledge representation and reasoning. We next describe our diagrammatic approach. Finally, we present applications of our approach to tasks that involve perception and motion. Diagrammatic Knowledge Representation and Diagrammatic Reasoning: A Synthetic Review The t...

Diagrammatic Representation and Reasoning

The rapidly developing field of diagrammatic knowledge representation and reasoning is surveyed. The origins and rationale of the field, basic principles and methodologies, as well as selected applications are discussed. Closely related areas, like visual languages, data presentation, and visualization are briefly introduced as well. Basic sources of material for further study are indicated.